Blame Prediction
نویسندگان
چکیده
Static type systems are usually conservative. Therefore, many interesting programs are rejected by the type system, even though they often execute without errors. Dynamic type systems would allow such ill-typed programs to run. However, the cause of runtime errors is often far removed from the place where the type errors are raised, making the program hard to debug. We present a hybrid typing discipline called blame prediction which transforms programs in order to detect runtime type errors as soon as they are guaranteed to happen. These type errors relate the future type error with its cause, aiding in debugging. As a proof of concept, we have applied blame prediction to a functional Scheme-like language.
منابع مشابه
P10: Prediction of Adolescent Anxiety Disorders Based on Emotional Child Maltreatment
Child maltreatment that includes emotional abuse, sexual abuse, physical abuse and neglect has been widely documented as a risk factor for diverse negative consequences in adolescence and adulthood (suderman & DePrince, 2015).for adolescents, these consequences include educational problems, heightened rates of law infringement, aggressive behavior, as well as various mental disorders such as mo...
متن کاملEVect of factual versus counterfactual thinking on blame, guilt, and shame in prisoners
The present study tested the prediction that counterfactual thinking would have a stronger ampliWcatory eVect on guilt than on shame and that the eVect would be mediated by self-blame. Ninety sentenced prisoners were instructed to think either counterfactually or factually about the role they played in the events leading to their capture, conviction, and sentencing prior to reporting on their l...
متن کاملPrediction of Secondary Traumatic Stress and Post Traumatic Growth Based on Cognitive Emotion Regulation in Nurses Providing Services to Earthquake Victims in Kermanshah
Introduction: The earthquake is a natural disaster that has many psychological effects on the survivors and nurses that are associated with them. The purpose of this study was to predict secondary traumatic stress and post-traumatic growth based on cognitive emotion regulation in nurses providing services to earthquake victims in Kermanshah. Methods: The present study is a descriptive-correlat...
متن کاملCognitive emotion regulation strategies in outpatients with major depressive disorder.
The aim of this study was to examine cognitive emotion regulation strategies in adult outpatients with major depressive disorder (MDD). A clinical sample of 191 MDD outpatients and a non-clinical sample of 267 general adults were recruited. Nine cognitive emotion regulation strategies were assessed in all participants (aged 21-65 years). Results showed that MDD participants had significantly hi...
متن کامل"You made me do it": Classification of Blame in Married Couples' Interactions by Fusing Automatically Derived Speech and Language Information
One of the goals of behavioral signal processing is the automatic prediction of relevant high-level human behaviors from complex, realistic interactions. In this work, we analyze dyadic discussions of married couples and try to classify extreme instances (low/high) of blame expressed from one spouse to another. Since blame can be conveyed through various communicative channels (e.g., speech, la...
متن کامل